{# -*- engine: jinja -*- #}
{% extends "base.html" %}

{% block html_title %}{{filename}} - {{info.head}}{% endblock %}

{% block summary %}
{% include "source_page.summary.html" %}

{% endblock %}

{% block navigation %}
{% include "source_page.navigation.html" %}

{% endblock %}

{% block content %}
{% include "source_page.content.html" %}

{% endblock %}
